设△＊是任何三角剖分△的ＨＣＴ细分的三角剖分。本文建立了定义于△＊上的二元样条函数空间Ｓ３ｒ＾ｒ（△＊）的维数公式，我们的证明方法同时给出了Ｓ３ｒ＾４（△＊）的一组......